Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
241	Senti-LSSVM: Sentiment-Oriented Multi-Relation Extraction with Latent Structural SVM Lizhen Qu Max Planck Institute for Informatics [removed] Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2014-09-29 11:40:15 Equivalence relation Finitary relation Function Structure Sentiment analysis Binary relation Mathematics Model theory Mathematical logic
242	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
243	Microsoft Word - Kindergarten Currc Frmw.doc Add to Reading List Source URL: www.doe.virginia.gov Language: English - Date: 2009-10-27 14:08:07 Numeral systems Mathematical logic Binary operations Counting Number Addition Natural number 0 Positional notation Mathematics Elementary arithmetic Elementary mathematics
244	Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2007-02-13 15:10:27 Mathematical logic Implicant Lookup table Canonical form Boolean satisfiability problem Conjunctive normal form Binary decision diagram Truth table Boolean function Boolean algebra Theoretical computer science Mathematics
245	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
246	Transitioning to Kindergarten For Parents What to look for Your child… Add to Reading List Source URL: www.getreadytoread.org Language: English - Date: 2011-11-16 09:09:38 Numeral systems Elementary mathematics Counting Mathematical logic 0 Numeral Addition Number Subtraction Mathematics Elementary arithmetic Binary operations
247	Microsoft Word - Imagine Schools Math Challenge Kindergarten 2014 Add to Reading List Source URL: www.myiser.com Language: English - Date: 2014-06-03 12:22:01 Numeral systems Mathematical logic Elementary mathematics Addition Subtraction Counting 0 Number Cardinal number Mathematics Elementary arithmetic Binary operations
248	Virtual Laboratories > 0. Foundations >[removed][removed]Relations Definitions Suppose that S and T are sets. A relation from S to T is a subset of the product set S × T . As the name suggests, a relation Add to Reading List Source URL: www.math.uah.edu Language: English - Date: 2014-07-11 06:44:33 Equivalence relation Binary relation Inverse relation Finitary relation Partially ordered set Function Preorder Relation algebra Mathematics Mathematical logic Order theory
249	Algorithms Wikibooks.org March 15, 2013 Add to Reading List Source URL: upload.wikimedia.org Language: English - Date: 2013-10-05 14:36:00 Search algorithms Operations research Mathematical optimization Algorithms Mathematical logic String Dynamic programming Binary search algorithm Divide and conquer algorithm Mathematics Applied mathematics Theoretical computer science
250	1  Algorithms  System Design Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-04-08 14:51:45 Mathematical logic Theoretical computer science Sorting algorithm Binary search algorithm Analysis of algorithms Operations research Applied mathematics Mathematics Algorithm

UPDATE